
#include <stdlib.h>
#include "DefaultEmbeddable.h"
#include "Embeddable.h"
//#include "DefaultEmbeddable.cpp"

using namespace DefaultImplementation;

int main()
{
	unsigned char* t = (unsigned char*) malloc(4);
	unsigned char* x = (unsigned char*) Embeddable::embed_malloc(5);
}
